Towards a Framework for the Development of PreciseSemantics for the UMLR
نویسندگان
چکیده
The need for precise semantics for the OMG standard object-oriented modeling language, Uniied Mod-eling Language (UML), is widely-recognized in the software engineering community. In this paper we propose a framework for developing precise semantics for the UML. Within the framework formal techniques are used to explore the semantic underpinnings of UML constructs and the insights gained are used to construct semantics that are expressed in UML terms.
منابع مشابه
Understanding Core Native Human Effective Components in Crisis Management Is a Step Forward Towards Increasing Resiliency and Decreasing Stress Especially in Sudden Crises as a Sustainable Development Framework
Background: In different crises without any exception, especially sudden emergencies, the role of Human Effective Components (HECs), Native Human Effective Components (NHECs) (belonging to a specific space and location), and especially Core Native Human Effective Components (CNHECs); and among CNHECs, level of management skills, ignorance, and manager’s mind bandwidth are of vital importance in...
متن کاملTeachers ‘professional development and conceptual change through the knowledge building environment
This study aimed to investigate conceptual change as a fruitful framework in teachers’ professional development through knowledge building environment. In cognitive approaches towards education, the quality of education is seen as a result of teachers’ actions and teachers’ action is seen as a result of their cognition. Thereby the goal of many teachers’ professional development programs is to ...
متن کاملUse of Evidence-informed Deliberative Processes by Health Technology Assessment Agencies Around The Globe
Background Evidence-informed deliberative processes (EDPs) were recently introduced to guide health technology assessment (HTA) agencies to improve their processes towards more legitimate decision-making. The EDP framework provides guidance that covers the HTA process, ie, contextual factors, installation of an appraisal committee, selecting health technologies and criteria, assessment, a...
متن کاملارزیابی طرح جامع شهر تبریز از منظر تحقق پذیری عدالت اسلامی
The dominance of the capitalist system on the struc­tures and processes of the urban planning system has led urban development patterns toward generating income. The prevalence of such this pattern has cre­ated a conflict between private and public interests. Attempt to resolve this conflict has led urban planning to the concept of spatial justice; so that spatial justice in urban plann...
متن کاملGovernance and Capacity to Manage Resilience of Health Systems: Towards a New Conceptual Framework
The term resilience has dominated the discourse among health systems researchers since 2014 and the onset of the Ebola outbreak in West Africa. There is wide consensus that the global community has to help build more resilient health systems. But do we really know what resilience means, and do we all have the same vision of resilience? The present paper presents a new conceptual framework on go...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000